Máquinas de estado finito y autómatas